1. Advanced Boolean techniques :
پدیدآورنده : editors, Rolf Drechsler and Mathias Soeken.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Boolean, Congresses.,Algebra, Boolean.
رده :
QA10
.
3
.
I58
2018eb
2. Boolean function complexity /
پدیدآورنده : edited by M.S. Paterson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Boolean.,Computational complexity, Congresses.,Algebra, Boolean.,Boole, algèbre de-- Congrès.,Boolean-functions.,Boolesche Funktion,Complexité de calcul (Informatique)-- Congrès.,Computational complexity.,Komplexitätstheorie,MATHEMATICS-- Algebra-- General.
رده :
QA267
.
7
.
B66
1992eb
3. Boolean function complexity
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computational complexity-- Congresses,، Algebra, Boolean
رده :
QA
267
.
7
.
B66
1992
4. Boolean function complexity
پدیدآورنده : edited by M.S. Paterson
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computational complexity,Congresses ، Algebra, Boolean
رده :
QA
267
.
7
.
B6
5. Boolean functions in cryptology and information security
پدیدآورنده : / edited by Bart Preneel and Oleg A. Logachev
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Algebra, Boolean, Congresses,Cryptography, Congresses,Computer security, Congresses
رده :
E-BOOK
6. Handbook of satisfiability /
پدیدآورنده : edited by Armin Biere ... [et al.]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Boolean, Congresses,Computer algorithms, Congresses,Decision making, Congresses,Propositional calculus, Congresses
7. Kinetic logic : a Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course "Formal analysis of genetic regulation," held in Brussels, September 6-16, 1977
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Genetic regulation-- Mathematical models-- Congresses,، Algebra, Boolean-- Congresses
رده :
QH
450
.
K53
8. Logic, computation, hierarchies /
پدیدآورنده : edited by Vasco Brattka, Hannes Diener, Dieter Spreen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Boolean, Congresses,Logic, Symbolic and mathematical, Congresses,Petri nets, Congresses,Quasi-metric spaces, Congresses,Set theory, Congresses
